TACS enhancements for the electromagnetic transient program

Transient Hepatic Parenchymal Enhancements

Program Derivation by Correctness Enhancements

Relative correctness is the property of a program to be morecorrect than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P ′ refines program P if and only if P ′ is more-correct than P with respect to any specification. This inspires us to reconsider program derivation by s...

Program Auralization: Sound Enhancements to the Programming Environment

Sound has the potential to improve our understanding of a program's function, structure, and behavior. In this paper we identify classes of program information suitable for mapping to sound and suggest how to add auralization capabilities to programming environments. We describe LogoMedia, a sound-enhanced programming system which illustrates these concepts.

the search for the self in becketts theatre: waiting for godot and endgame

this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...

Transient Phenomena in Electromagnetic Forming Processes

The paper deals with finite element model for analysis of electromagnetic forming process of thin metallic sheets. The investigation starts with the FLUX simulation of transient electromagnetic field phenomena, continues with a transient structural analysis using ANSYS Structural under loads previously evaluated and ends with an ANSYS Multiphysics fully coupled analysis. The paper emphasizes th...